Teoría de modelos
RAMA DE LA LÓGICA MATEMÁTICA QUE ESTUDIA LAS ESTEUCTURAS MATEMÁTICAS
Teoria de modelos; Modelo (lógica)
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una interpretación semántica a las expresiones puramente formales de los lenguajes formales.